Перевод: со всех языков на английский

с английского на все языки

These logical deductions

См. также в других словарях:

  • Logical positivism — (also known as logical empiricism, scientific philosophy, and neo positivism) is a philosophy that combines empiricism the idea that observational evidence is indispensable for knowledge with a version of rationalism incorporating mathematical… …   Wikipedia

  • Bombe — In the history of cryptography, the Bombe was an electromechanical device used by British cryptologists to help break German Enigma machine signals during World War II. The bombe was designed by Alan Turing, with an important refinement suggested …   Wikipedia

  • Hilbert-style deduction system — In logic, especially mathematical logic, a Hilbert style deduction system is a type of system of formal deduction attributed to Gottlob FregeMáté Ruzsa 1997:129] and David Hilbert. These deductive systems are most often studied for first order… …   Wikipedia

  • Edmund Husserl — Infobox Philosopher region = Western Philosophy era = 20th century philosophy color = #B0C4DE image caption = Edmund Husserl name = Edmund Gustav Albrecht Husserl birth = April 8, 1859 (Prostějov, Moravia) | death = death date and… …   Wikipedia

  • First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… …   Wikipedia

  • mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… …   Universalium

  • Science and the Church — • Dicsusses the relationship between the two subjects Catholic Encyclopedia. Kevin Knight. 2006. Science and the Church     Science and the Church      …   Catholic encyclopedia

  • Biblical Exegesis —     Biblical Exegesis     † Catholic Encyclopedia ► Biblical Exegesis     Exegesis is the branch of theology which investigates and expresses the true sense of Sacred Scripture.     The exegete does not inquire which books constitute Sacred… …   Catholic encyclopedia

  • Artificial intelligence — AI redirects here. For other uses, see Ai. For other uses, see Artificial intelligence (disambiguation). TOPIO, a humanoid robot, played table tennis at Tokyo International Robot Exhibition (IREX) 2009.[1] Artificial intelligence ( …   Wikipedia

  • Hellenistic biological sciences — R.J.Kankinson The five centuries that separate Aristotle’s death in 322 BC from Galen’s ascendancy in Rome in the latter part of the second century AD were fertile ones for the biological sciences, in particular medicine. Nor is the period solely …   History of philosophy

  • Commensurability (philosophy of science) — This article is about incommensurability in the philosophy of science. For other senses of this word, see commensurability. Commensurability (contrast with incommensurability) is a concept in the philosophy of science. Scientific theories are… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»